Autogenerated HTML docs for v1.5.2-rc2-46-g4675 
diff --git a/user-manual.txt b/user-manual.txt index 67f5b9b..13db969 100644 --- a/user-manual.txt +++ b/user-manual.txt 
@@ -1836,12 +1836,12 @@  first create a new clone of the repository:    ------------------------------------------------- -$ git clone --bare proj.git +$ git clone --bare ~/proj proj.git  -------------------------------------------------   -The resulting directory proj.git will contains a "bare" git -repository--it is just the contents of the ".git" directory, without -a checked-out copy of a working directory. +The resulting directory proj.git contains a "bare" git repository--it is +just the contents of the ".git" directory, without a checked-out copy of +a working directory.    Next, copy proj.git to the server where you plan to host the  public repository. You can use scp, rsync, or whatever is most @@ -2372,9 +2372,8 @@  then the following commands will all do the same thing:    ------------------------------------------------- -$ git fetch git://example.com/proj.git master:ref/remotes/example/master -$ git fetch example master:ref/remotes/example/master -$ git fetch example example/master +$ git fetch git://example.com/proj.git master:refs/remotes/example/master +$ git fetch example master:refs/remotes/example/master  $ git fetch example  -------------------------------------------------